Log in or Sign up
Presburger arithmetic love

Presburger arithmetic

Definitions

from Wiktionary, Creative Commons Attribution/Share-Alike License.

  • noun logic A set of axioms of first-order logic for the natural numbers specifying the operations of zero, successor, and addition, including a first-order schema of induction, without multiplication.

Etymologies

Sorry, no etymologies found.

Support

Help support Wordnik (and make this page ad-free) by adopting the word Presburger arithmetic.

Examples

    Sorry, no example sentences found.

Log in or sign up to add your own related words.

cross-references (1)

Cross-references

  1. Peano arithmetic

Comments

Log in or sign up to get involved in the conversation. It's quick and easy.